منابع مشابه
Functional Programming with Relations
While programming in a relational framework has much to o er over the functional style in terms of expressiveness, computing with relations is less e cient, and more semantically troublesome. In this paper we propose a novel blend of the functional and relational styles. We identify a class of causal relations , which inherit some of the bi{directionality properties of relations, but retain the...
متن کاملPrototyping of Tangible Programming
...................................................................................................................................................... III ACKNOWLEDGEMENTS .................................................................................................................................... V TABLE OF CONTENTS ...........................................................................
متن کاملProgramming with Equations, Subsets, and Relations
We discuss the declarative and computational issues in combining equa-tional, subset, and relational assertions in a logic programming language. The novel feature in this work is the subset assertion, whose interactions with equational and relational assertions are discussed in this paper. The semantics of subset assertions incorporate a collect all capability, which is expressed formally by th...
متن کاملCategories, Relations and Dynamic Programming
Oege De Moor Mathematical Structures in Computer Science / Volume 4 / Issue 01 / March 1994, pp 33 69 DOI: 10.1017/S0960129500000360, Published online: 04 March 2009 Link to this article: http://journals.cambridge.org/abstract_S0960129500000360 How to cite this article: Oege De Moor (1994). Categories, relations and dynamic programming. Mathematical Structures in Computer Science, 4, pp 3369...
متن کاملProgramming by a Sample: Rapidly Prototyping Web Applications with d.mix
As an increasing number of web sites provide APIs, significant latent value for supporting developers’ use of these APIs lies in the site-service correspondence: the site and its API offer complementary representations of equivalent functionality. We introduce d.mix, a tool that realizes this latent value, lowering the threshold for creating web mash-ups. With d.mix, users browse annotated web ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2003
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80931-9